#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

#include "threads/thread.h"

typedef int mapid_t;
void syscall_init (void);
void handle_exit (int);

#endif /* userprog/syscall.h */
